Software repository - PDFSEARCH.IO - Document Search Engine

Software repository
Results: 773

#	Item
281	OctoberReport No. STAN-CSProgramming and Proving with Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-03 21:37:12 Programming paradigms Logic in computer science Programming language semantics Abstraction Data management Functional programming Lisp Operational semantics Continuation Software engineering Computer programming Computing
282	Creating R Packages, Using CRAN, R-Forge, And Local R Archive Networks And Subversion (SVN) Repositories Spencer Graves PDF Solutions Add to Reading List Source URL: cran.usthb.dz Language: English - Date: 2009-05-04 09:58:56 Apache Subversion Debian Software repository RExcel Software Free software R
283	Component Support in PLT Scheme Paul A. Steckler Department of Computer Science, MS 132 Rice University 6100 S. Main St. Houston, TX Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Object-oriented programming Component Object Model JavaScript OLE Automation Eval Scheme Racket HRESULT Visual Basic Software engineering Computing Computer programming
284	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
285	Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi Brown University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:12 Continuations Control flow Web application frameworks Functional languages Cross-platform software Web service Frame Call-with-current-continuation Seaside Computing Software engineering Computer programming
286	ACT Parameterization Framework Alan Paviˇci´c Nikˇsa Bosni´c AVL-AST Zagreb, Croatia Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Object-oriented programming Common Lisp Object System Generic function Metaclass Metaobject Class Serialization Object-oriented design Mutator method Software engineering Computer programming Computing
287	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
288	The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Theoretical computer science Inline expansion Computability theory Models of computation Compiler optimization Lambda calculus Data-flow analysis Function Software engineering Computer programming Computing
289	CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble Add to Reading List Source URL: cran-r.c3sl.ufpr.br Language: English - Date: 2015-03-24 04:40:06 R Debian Package Dpkg Software repository R Commander Software Computing Computer programming
290	Screen-Replay: A Session Recording and Analysis Tool for DrScheme M. Fatih K¨oksal, R. Emre Bas¸ar ¨ udarlı Suzan Usk¨ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:22 Programming language theory Computer science education Java programming language ProgramByDesign The Structure and Interpretation of the Computer Science Curriculum How to Design Programs ALGOL 68 Computing Scheme programming language Software engineering

UPDATE